Skip to main content
Scour
Discover
Docs
Login
Sign Up
Discover
About
Docs
Changelog
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
Theoretical Computer Science
馃М Theoretical Computer Science
Filter Results
Timeframe
Choose a timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
47
posts in
20.5
ms
馃捇
CS
Brain Inspired
路
4d
4 days ago
BI 240 Cristopher Moore: Cognition and
Computational
Complexity
Discussed on
Hacker News
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for BI 240 Cristopher Moore: Cognition and Computational Complexity
馃捇
Programming languages
youtube.com
Content type:
Video
路
2d
2 days ago
Dana Scott:
Lambda
Calculus
, Forcing and the Foundations of
Math
: #14 aboutlogic [video]
Discussed on
Hacker News
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Dana Scott: Lambda Calculus, Forcing and the Foundations of Math: #14 aboutlogic [video]
馃捇
CS
arxiv.org
路
3d
3 days ago
Some
Complexity
Results for Robustness
Verification
for Binarized Neural Networks
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Some Complexity Results for Robustness Verification for Binarized Neural Networks
馃捇
CS
nLab
路
3d
3 days ago
controllability and observability
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for controllability and observability
馃捇
CS
en.algorithmica.org
路
6d
6 days ago
Complexity
Models
Discussed on
Hacker News
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Complexity Models
鈿涳笍
Quantum Information
arxiv.org
路
5d
5 days ago
Semiclassical Gravity Efficiently Solves $\mathsf{
NP
}$-
Complete
Problems
Discussed on
Hacker News
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Semiclassical Gravity Efficiently Solves $\mathsf{NP}$-Complete Problems
馃捇
CS
arxiv.org
路
4d
4 days ago
On the
Complexity
of the Circuit Width Problem
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for On the Complexity of the Circuit Width Problem
馃捇
CS
arxiv.org
路
5d
5 days ago
The
Computational
Complexity
of Team Zero-Sum Games
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for The Computational Complexity of Team Zero-Sum Games
馃捇
CS
arxiv.org
路
5d
5 days ago
Three-Terminal Reachability-Preserving Minimum Node Cut: Planar Hardness and a General-Graph \(O(\sqrt n)\)-Approximation
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Three-Terminal Reachability-Preserving Minimum Node Cut: Planar Hardness and a General-Graph \(O(\sqrt n)\)-Approximation
馃捇
CS
arxiv.org
路
3d
3 days ago
Tractable Gap-Constraint Languages for
Complex
Event Recognition
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Tractable Gap-Constraint Languages for Complex Event Recognition
馃捇
CS
arxiv.org
路
6d
6 days ago
Lyapunov-Based Sample
Complexity
Analysis for Weakly-Coupled MDPs
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Lyapunov-Based Sample Complexity Analysis for Weakly-Coupled MDPs
馃捇
CS
arxiv.org
路
6d
6 days ago
Algebraic Circuits Over Sum and Shift and Existential Presburger Arithmetic with Divisibility
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Algebraic Circuits Over Sum and Shift and Existential Presburger Arithmetic with Divisibility
馃捇
CS
arxiv.org
路
4d
4 days ago
Towards Leveraging
AutoML
for Sustainable Deep Learning: A Multi-Objective HPO Approach on Deep Shift Neural Networks
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Towards Leveraging AutoML for Sustainable Deep Learning: A Multi-Objective HPO Approach on Deep Shift Neural Networks
馃捇
CS
arxiv.org
路
5d
5 days ago
Variable-Rate Deep Image Compression based on Low-Rank Adaptation by Progressive Learning
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Variable-Rate Deep Image Compression based on Low-Rank Adaptation by Progressive Learning
馃捇
CS
arxiv.org
路
3d
3 days ago
Starter-Iterator Neural Operator: A Unified Architecture for High-Fidelity Forward and Inverse PDE Problems
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Starter-Iterator Neural Operator: A Unified Architecture for High-Fidelity Forward and Inverse PDE Problems
馃捇
CS
arxiv.org
路
5d
5 days ago
Improved Knowledge Distillation for Land-Use Image
Classification
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Improved Knowledge Distillation for Land-Use Image Classification
馃捇
CS
arxiv.org
路
4d
4 days ago
AIGS-Net: Compact Illumination Field Modeling via 2D Gaussian Splatting for Fast Low-Light Image Enhancement
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for AIGS-Net: Compact Illumination Field Modeling via 2D Gaussian Splatting for Fast Low-Light Image Enhancement
馃捇
CS
arxiv.org
路
4d
4 days ago
Revisiting LLM Adaptation for 3D CT Report Generation: A Study of Scaling and Diagnostic Priors
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Revisiting LLM Adaptation for 3D CT Report Generation: A Study of Scaling and Diagnostic Priors
馃敩
Lean
arxiv.org
路
5d
5 days ago
Revisiting average case
complexity
of multilevel syllogistic: From the 1995 Courant Technical Report to Lean 4
Formalization
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Revisiting average case complexity of multilevel syllogistic: From the 1995 Courant Technical Report to Lean 4 Formalization
馃捇
CS
arxiv.org
路
5d
5 days ago
The
Complexity
of Min-Max Optimization for Quadratic Polynomials
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for The Complexity of Min-Max Optimization for Quadratic Polynomials
No more posts from matmat's subscribed feeds.
Scour all
25,324
feeds
Learn more about Feeds
Log in to enable infinite scrolling
Keyboard Shortcuts
Navigation
Next / previous post
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Discover
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help
Like
Save
Not for me
Report